$\forall$$A$, $B$:Type, $f$:($A$$\rightarrow$$B$). ($\lambda$$x$.$f$($x$)) = $f$